restriction of domain